Imaginaries in separably closed valued fields
نویسندگان
چکیده
منابع مشابه
Imaginaries in Real Closed Valued Fields I
We investigate the embeddings of the value group and residue field of a real closed valued field A in Aeq via quantifier elimination in a three sorted language. We classify the one types of field elements in a real closed valued field. Finally, we investigate some of the linear structure in Aeq induced by the valuation ring V and introduce the geometric sorts. In a subsequent paper we show that...
متن کاملImaginaries in algebraically closed valued fields
These notes are intended to accompany the tutorial series ‘Model theory of algebraically closed valued fields’ in the Workshop ‘An introduction to recent applications of model theory’, Cambridge March 29–April 8, 2005. They do not contain any new results, except for a slightly new method of exposition, due to Lippel, of parts of the proof of elimination of imaginaries, in Sections 8 and 9. They...
متن کاملImaginaries in Real Closed Valued Fields II
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense optimal.
متن کاملDefinable sets in algebraically closed valued fields: elimination of imaginaries
It is shown that if K is an algebraically closed valued field with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in K of certain definable R-submodules of K (for all n ≥ 1). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of definabl...
متن کاملGroups Definable in Separably Closed Fields
We consider the groups which are infinitely definable in separably closed fields of finite degree of imperfection. We prove in particular that no new definable groups arise in this way: we show that any group definable in such a field L is definably isomorphic to the group of L-rational points of an algebraic group defined over L.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the London Mathematical Society
سال: 2018
ISSN: 0024-6115
DOI: 10.1112/plms.12116